Sequence semantics for dynamic predicate logic

Sequence semantics for dynamic predicate logic

In this paper a semantics for dynamic predicate logic is developed that uses sequence valued assignments This semantics is compared with the usual relational semantics for dynamic predicate logic it is shown that the most important intuitions of the usual se mantics are preserved Then it is shown that the re ned semantics re ects out intuitions about information growth Some other issues in dyna...

A categorical semantics for fuzzy predicate logic

Fuzzy Sets and Systems 161 (2010) 412-432 Elsevier www.elsevier.com/locate/fss A Categorical Semantics for Fuzzy Predicate Logic

Dynamic Predicate Logic

Dynamic Modal Predicate Logic

Curry-Typed Semantics in Typed Predicate Logic

Various questions arise in semantic analysis concerning the nature of types. These questions include whether we need types in a semantic theory, and if so, whether some version of simple type theory (STT, Church, 1940) is adequate or whether a richer more flexible theory is required to capture our semantic intuitions. Propositions and propositional attitudes can be represented in an essentially...